Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing the (...) BFO framework. We provide discussion of these cases to provide a template for other ontologists using BFO, as well as to facilitate comparison with the strategies proposed by ontologists using different top-level ontologies. (shrink)

While the image of the slave as the antithesis of the freeman is central to republican freedom, it is striking to note that slaves themselves have not contributed to how this condition is understood. The result is a one-sided conception of both freedom and slavery, which leaves republicanism unable to provide an equal and robust protection for historically outcast people. I draw on the work of Frederick Douglass – long overlooked as a significant contributor to republican theory – to show (...) one way why this is so. Focusing the American Revolution, the subsequent republican government established new political institutions to maintain the collective interests of the whole population. The political revolution was held in place by processes of public reason that reflected the values and ideas of the people that had rebelled. The black population, however, had not been part of this revolution. After emancipation, black Americans were required to accept terms of citizenship that had already been defined, leaving them socially dominated, subject to the prejudices and biases within the prevailing ideas of public discourse. Douglass argued that republican freedom under law is always dependent on a more fundamental revolution, that he calls a ‘radical revolution in thought’, in which the entire system of social norms and practices are reworked together by members of all constituent social groups – women and men, black and white, rich and poor – so that it reflects a genuinely collaborative achievement. Only then can we begin the republican project of contestatory freedom as independence or non-domination that today’s republicans take for granted. (shrink)

Although they were never to meet and corresponded only briefly, Catharine Macaulay and Mary Wollstonecraft shared a mutual admiration and a strong intellectual bond. Macaulay’s work had a profound and lasting effect on Wollstonecraft, and she developed and expanded on many of Macaulay’s ideas. While she often took these in a different direction, there remains a great synergy between their ideas to the extent that we can understand Wollstonecraft’s own feminist arguments by approaching them through the frameworks and ideas that (...) Macaulay provided. These included the principles of classical republicanism, particularly in its understanding of the values of freedom, equality and virtue, and an understanding of reason as grounded in immutable principles that apply equally to both sexes. On the question of women’s freedom and social equality with men, I argue that though Macaulay sets up the problem in far richer and more detailed philosophical terms, in the end it is Wollstonecraft that has the more compelling account of its far-reaching social implications and of how this might be addressed. (shrink)

In spite of its everyday connotations, the term independence as republicans understand it is not a celebration of individualism or self-reliance but embodies an acknowledgement of the importance of personal and social relationships in people’s lives. It reflects our connectedness rather than separateness and is in this regard a relational ideal. Properly understood, independence is a useful concept in addressing a fundamental problem in social philosophy that has preoccupied theorists of relational autonomy, namely how to reconcile the idea of individual (...) human agency with the inevitable and necessary influence of other people, both directly and indirectly. I derive my account from the work of Mary Wollstonecraft and Catharine Macaulay, whose contributions have remained largely overlooked by current republican theorists. I have three purposes in this chapter. First, I set out the relational character of independence. Secondly, I outline a republican approach to the problem of structural social threats to agency. Finally, I hope to establish the basis for a fruitful dialogue between republicans and relational autonomy theorists on the requirements and dynamics of individual agency and freedom in oppressive social situations. I identify three distinctive features of the internal logic of freedom as independence that give it a relational character: it always locates the person within a community; there is a mediating role played by the notion of arbitrariness in connecting individual and collective perspectives; a causal relationship exists linking each person’s freedom as independence such that that the dependence of one class of persons jeopardizes the independence of the whole community. (shrink)

Catharine Macaulay was one of the most significant republican writers of her generation. Although there has been a revival of interest in Macaulay amongst feminists and intellectual historians, neo-republican writers have yet to examine the theoretical content of her work in any depth. Since she anticipates and addresses a number of themes that still preoccupy republicans, this neglect represents a serious loss to the discipline. I examine Macaulay’s conception of freedom, showing how she uses the often misunderstood notion of virtue (...) to reconcile the individual and collective elements inherent in the republican model. In her own analysis of the deep-rooted social obstacles that stand in the way of women becoming free, Macaulay identifies a serious problem that confronts all republicans, namely how to secure freedom in the face of entrenched structural imbalances that systematically disadvantage certain classes of person. In the end, I conclude that Macaulay herself cannot overcome the issues she raises. This in no way diminishes the importance of her work since her diagnosis is as relevant today as in her own time. (shrink)

Allocation of very scarce medical interventions such as organs and vaccines is a persistent ethical challenge. We evaluate eight simple allocation principles that can be classified into four categories: treating people equally, favouring the worst-off, maximising total benefits, and promoting and rewarding social usefulness. No single principle is sufficient to incorporate all morally relevant considerations and therefore individual principles must be combined into multiprinciple allocation systems. We evaluate three systems: the United Network for Organ Sharing points systems, quality-adjusted life-years, and (...) disability-adjusted life-years. We recommend an alternative system—the complete lives system—which prioritises younger people who have not yet lived a complete life, and also incorporates prognosis, save the most lives, lottery, and instrumental value principles. (shrink)

How do we find what is clinically significant in the swarms of data being generated by today’s diagnostic technologies? As electronic records become ever more prevalent – and digital imaging and genomic, proteomic, salivaomics, metabalomics, pharmacogenomics, phenomics and transcriptomics techniques become commonplace – fdifferent clinical and biological disciplines are facing up to the need to put their data houses in order to avoid the consequences of an uncontrolled explosion of different ways of describing information. We describe a new strategy to (...) advance the consistency of data in the dental research community. The strategy is based on the idea that existing systems for data collection in dental research will continue to be used, but proposes a methodology in which past, present and future data will be described using a consensus-based controlled structured vocabulary called the Ontology for Dental Research (ODR). (shrink)

In this short response to Kerstein and Bognar, we clarify three aspects of the complete lives system, which we propose as a system of allocating scarce medical interventions. We argue that the complete lives system provides meaningful guidance even though it does not provide an algorithm. We also defend the investment modification to the complete lives system, which prioritizes adolescents and older children over younger children; argue that sickest-first allocation remains flawed when scarcity is absolute and ongoing; and argue that (...) Kerstein and Bognar are mistaken to base their allocation principles on differences in personhood. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Waiting is a mundane yet inevitable customer experience. Surprisingly, little research has analyzed the effects of waiting on subsequent customer behavior. The current research explores a counterintuitive effect of waiting times on behavior during a shopping trip: Longer waits, compared with shorter waits, can lead to a larger number of purchases despite generating more negative emotional reactions. Results of a field study and three lab experiments demonstrate this effect in the context of waiting for hedonic products. Consistent with a social-inference (...) account, the experiments further show that the effect of waiting duration occurs when wait times are thought to depend on others’ preferences. This article explores the multifaceted effects of waiting duration on purchase behavior of hedonic products and sheds light on the social cognitions that underlie these effects. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

The current prevailing view is that participation in biomedical research is above and beyond the call of duty. While some commentators have offered reasons against this, we propose a novel public goods argument for an obligation to participate in biomedical research. Biomedical knowledge is a public good, available to any individual even if that individual does not contribute to it. Participation in research is a critical way to support an important public good. Consequently, all have a duty to participate. The (...) current social norm is that individuals participate only if they have a good reason to do so. The public goods argument implies that individuals should participate unless they have a good reason not to. Such a shift would be of great aid to the progress of biomedical research, eventually making society significantly healthier and longer lived. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

In this book Alan Haworth tends to sneer at libertarians. However, there are, I believe, a few sound criticisms. I have always held similar opinions of Murray Rothbard‟s and Friedrich Hayek‟s definitions of liberty and coercion, Robert Nozick‟s account of natural rights, and Hayek‟s spontaneous-order arguments. I urge believers of these positions to read Haworth. But I don‟t personally know many libertarians who believe them (or who regard Hayek as a libertarian).

The editors of the Journal of Applied Philosophy allowed Alan Haworth to reply to my short review of his Anti-Libertarianism. The editors would not allow me to respond to Haworth. Thanks to the openness of internet publication and the Libertarian Alliance website, this can now be rectified and Haworth's reply can no longer escape a public critical response.

John O’Neill, Alan Holland, and Andrew Light usefully distinguish two ways of thinking about environmental values, namely, end-state and historical views. To value nature in an end-state way is to value it because it instantiates certain properties, such as complexity or diversity. In contrast, a historical view says that nature’s value is (partly) determined by its particular history. Three contemporary defenses of a historical view are explored in order to clarify: (1) the normatively relevant history; (2) how historical considerations (...) are supposed to instruct environmental decision making; and (3) the relative importance of historical and end-state considerations. There are multiple reasons for including historical considerations in an account of environmental values. For example, knowledge of a natural object’s history can add depth and texture to our appreciation of that object. Further, if we were blind to the relevant history, we could not adequately understand and defend environmental policy goals such as preserving the potentials of natural systems or maintaining ecological health, for these goals appear to have irreducibly historical aspects. While historical considerations are important, such considerations are insufficient to guide our normative thinking about nature and how it should be dealt with practically. But they succeed in broadening and deepening our understanding of the nature and sources of environmental value. (shrink)

Letter commenting on the paper Barry Smith, Louis J. Goldberg, Alan Ruttenberg & Michael Glick, "Ontology and the Future of Dental Research Informatics", Journal of the American Dental Association 141 2010;(10):1173-75 with responses by the authors of the paper.

Supporters of neutrality as benign neglect argue that a neutral state should not grant any type of recognition to cultural or religious groups. Liberal multiculturalists argue instead that due to the non-neutral nature of public institutions, democratic states must adopt policies that recognize and accommodate the distinctive needs of ethnocultural groups. This article examines a different way of conceiving the principle of neutrality. In this conception, developed by Alan Patten in the framework of liberal multiculturalism, a state can only (...) be neutral when it extends equivalent levels of assistance/hindrance to rival conceptions of the good. Neutrality is thus reinterpreted to become a principle justifying the religious exemptions. The article highlights some aspects of this theory that should be reconsidered.// -/- Les défenseurs de la neutralité bienveillante soutiennent qu’un État neutre ne doit accorder aucun type de reconnaissance aux groupes culturels ou religieux. Les multiculturalistes libéraux avancent pour leur part que, en raison de la nature non neutre des institutions publiques, les États démocratiques doivent adopter des politiques vi-sant la reconnaissance et l’accommodement des besoins distinctifs des groupes ethnoculturels. Cet article examine une manière diffé-rente de concevoir le principe de neutralité. Dans cette conception, développée par Alan Patten dans le cadre du multiculturalisme libé-ral, un État ne peut être neutre que s’il assiste ou entrave de manière équivalente les différentes conceptions du bien. La neutralité est ainsi réinterprétée pour devenir un principe permettant de justifier les exemptions religieuses. L’article souligne certains aspects de cette théorie qui méritent d’être repensés. (shrink)

Epistemological disjunctivism says that one can know that p on the rational basis of one’s seeing that p. The basis problem for disjunctivism says that that can’t be since seeing that p entails knowing that p on account of simply being the way in which one knows that p. In defense of their view disjunctivists have rejected the idea that seeing that p is just a way of knowing that p (the SwK thesis). That manoeuvre is familiar. In this paper (...) I explore the prospects for rejecting instead the thought that if the SwK thesis is true then seeing that p can’t be one’s rational basis for perceptual knowledge. I explore two strategies. The first situates disjunctivism within the context of a ‘knowledge-first’ approach that seeks to reverse the traditional understanding of the relationship between perceptual knowledge and justification (or rational support). But I argue that a more interesting strategy situates disjunctivism within a context that accepts a more nuanced understanding of perceptual beliefs. The proposal that I introduce reimagines disjunctivism in light of a bifurcated conception of perceptual knowledge that would see it cleaved along two dimensions. On the picture that results perceptual knowledge at the judgemental level is rationally supported by perceptual knowledge at the merely functional or ‘animal’ level. This supports a form of disjunctivism that I think is currently off the radar: one that’s consistent both with the SwK thesis and a commitment to a traditional reductive account of perceptual knowledge. (shrink)

Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf Lüthe, Luc Schneider, Peter Simons, Wojciech Żełaniec, and Jan Woleński.

This review provides an outline of the collection New Approaches to Scientific Realism, edited by Wenceslao Gonzalez. In particular, it questions whether the contributions to this edition can claim to be novel. The edition includes an introductory chapter and eighteen texts by well-known philosophers, such as Peter Achinstein, Alexander Bird, Donald Gillies, Theo Kuipers, Alan Musgrave, Thomas Nickles, Ilkka Niiniluoto, Howard Sankey, and John Worrall.

Short article on the history of the Otago Department.

Creativity pervades human life. It is the mark of individuality, the vehicle of self-expression, and the engine of progress in every human endeavor. It also raises a wealth of neglected and yet evocative philosophical questions: What is the role of consciousness in the creative process? How does the audience for a work for art influence its creation? How can creativity emerge through childhood pretending? Do great works of literature give us insight into human nature? Can a computer program really be (...) creative? How do we define creativity in the first place? Is it a virtue? What is the difference between creativity in science and art? Can creativity be taught? The new essays that comprise The Philosophy of Creativity take up these and other key questions and, in doing so, illustrate the value of interdisciplinary exchange. Written by leading philosophers and psychologists involved in studying creativity, the essays integrate philosophical insights with empirical research. CONTENTS I. Introduction Introducing The Philosophy of Creativity Elliot Samuel Paul and Scott Barry Kaufman II. The Concept of Creativity 1. An Experiential Account of Creativity Bence Nanay III. Aesthetics & Philosophy of Art 2. Creativity and Insight Gregory Currie 3. The Creative Audience: Some Ways in which Readers, Viewers and/or Listeners Use their Imaginations to Engage Fictional Artworks Noël Carroll 4. The Products of Musical Creativity Christopher Peacocke IV. Ethics & Value Theory 5. Performing Oneself Owen Flanagan 6. Creativity as a Virtue of Character Matthew Kieran V. Philosophy of Mind & Cognitive Science 7. Creativity and Not So Dumb Luck Simon Blackburn 8. The Role of Imagination in Creativity Dustin Stokes 9. Creativity, Consciousness, and Free Will: Evidence from Psychology Experiments Roy F. Baumeister, Brandon J. Schmeichel, and C. Nathan DeWall 10. The Origins of Creativity Elizabeth Picciuto and Peter Carruthers 11. Creativity and Artificial Intelligence: a Contradiction in Terms? Margaret Boden VI. Philosophy of Science 12. Hierarchies of Creative Domains: Disciplinary Constraints on Blind-Variation and Selective-Retention Dean Keith Simonton VII. Philosophy of Education (& Education of Philosophy) 13. Educating for Creativity Berys Gaut 14. Philosophical Heuristics Alan Hájek. (shrink)

In this paper I begin by explaining what epistemic injustice is and what ordinary language philosophy is. I then go on to ask why we might doubt the usefulness of ordinary language philosophy in examining epistemic injustice. In the first place, we might wonder how ordinary language philosophy can be of use, given that many of the key terms used in discussing epistemic injustice, including ‘epistemic injustice’ itself, are not drawn from our ordinary language. We might also have doubts about (...) the usefulness of ordinary language philosophy in this area, given ordinary language philosophers’ aversion to theory. Finally, we might have doubts about the usefulness of ordinary language philosophy due to the fact that the study of epistemic injustice is clearly a study of practical matters concerning the way the world is and has been historically. If ordinary language philosophy is just concerned with grammar, what use can it be to practical and social philosophy concerning current issues? In response to these worries, I demonstrate the usefulness of ordinary language philosophy in practice by applying the insights of Ludwig Wittgenstein and Alan R. White to a problem that Miranda Fricker raises, but does not answer: about whether there is a confidence condition on knowledge. I also make use of Gilbert Ryle's distinction between ‘the use of ordinary language’ and ‘the ordinary use of an expression’ to show that the terminology used in examining epistemic injustice is ordinary in some sense. (shrink)

"Understanding Scientific Progress constitutes a potentially enormous and revolutionary advancement in philosophy of science. It deserves to be read and studied by everyone with any interest in or connection with physics or the theory of science. Maxwell cites the work of Hume, Kant, J.S. Mill, Ludwig Bolzmann, Pierre Duhem, Einstein, Henri Poincaré, C.S. Peirce, Whitehead, Russell, Carnap, A.J. Ayer, Karl Popper, Thomas Kuhn, Imre Lakatos, Paul Feyerabend, Nelson Goodman, Bas van Fraassen, and numerous others. He lauds Popper for advancing beyond (...) verificationism and Hume’s problem of induction, but faults both Kuhn and Popper for being unable to show that and how their work could lead nearer to the truth." —Dr. LLOYD EBY teaches philosophy at The George Washington University and The Catholic University of America, in Washington, DC "Maxwell's aim-oriented empiricism is in my opinion a very significant contribution to the philosophy of science. I hope that it will be widely discussed and debated." – ALAN SOKAL, Professor of Physics, New York University "Maxwell takes up the philosophical challenge of how natural science makes progress and provides a superb treatment of the problem in terms of the contrast between traditional conceptions and his own scientifically-informed theory—aim-oriented empiricism. This clear and rigorously-argued work deserves the attention of scientists and philosophers alike, especially those who believe that it is the accumulation of knowledge and technology that answers the question."—LEEMON McHENRY, California State University, Northridge "Maxwell has distilled the finest essence of the scientific enterprise. Science is about making the world a better place. Sometimes science loses its way. The future depends on scientists doing the right things for the right reasons. Maxwell's Aim-Oriented Empiricism is a map to put science back on the right track."—TIMOTHY McGETTIGAN, Professor of Sociology, Colorado State University - Pueblo "Maxwell has a great deal to offer with these important ideas, and deserves to be much more widely recognised than he is. Readers with a background in philosophy of science will appreciate the rigour and thoroughness of his argument, while more general readers will find his aim-oriented rationality a promising way forward in terms of a future sustainable and wise social order."—David Lorimer, Paradigm Explorer, 2017/2 "This is a book about the very core problems of the philosophy of science. The idea of replacing Standard Empiricism with Aim-Oriented Empiricism is understood by Maxwell as the key to the solution of these central problems. Maxwell handles his main tool masterfully, producing a fascinating and important reading to his colleagues in the field. However, Nicholas Maxwell is much more than just a philosopher of science. In the closing part of the book he lets the reader know about his deep concern and possible solutions of the biggest problems humanity is facing."—Professor PEETER MŰŰREPP, Tallinn University of Technology, Estonia “For many years, Maxwell has been arguing that fundamental philosophical problems about scientific progress, especially the problem of induction, cannot be solved granted standard empiricism (SE), a doctrine which, he thinks, most scientists and philosophers of science take for granted. A key tenet of SE is that no permanent thesis about the world can be accepted as a part of scientific knowledge independent of evidence. For a number of reasons, Maxwell argues, we need to adopt a rather different conception of science which he calls aim-oriented empiricism (AOE). This holds that we need to construe physics as accepting, as a part of theoretical scientific knowledge, a hierarchy of metaphysical theses about the comprehensibility and knowability of the universe, which become increasingly insubstantial as we go up the hierarchy. In his book “Understanding Scientific Progress: Aim-Oriented Empiricism”, Maxwell gives a concise and excellent illustration of this view and the arguments supporting it… Maxwell’s book is a potentially important contribution to our understanding of scientific progress and philosophy of science more generally. Maybe it is the time for scientists and philosophers to acknowledge that science has to make metaphysical assumptions concerning the knowability and comprehensibility of the universe. Fundamental philosophical problems about scientific progress, which cannot be solved granted SE, may be solved granted AOE.” Professor SHAN GAO, Shanxi University, China . (shrink)

In this paper, we argue for a particular informative and unified analysis of normative reasons. According to this analysis, a fact F is a reason to act in a certain way just in case it is evidence that one ought to act in that way. Similarly, F is a reason to believe a certain proposition just in case it is evidence for the truth of this proposition. Putting the relatively uncontroversial claim about reasons for belief to one side, we present (...) several arguments in favor of our analysis of reasons for action. We then turn to consider a series of objections to the analysis. We conclude that there are good reasons to accept the analysis and that the objections do not succeed. (shrink)

According to epistemic reductionism about practical reasons, facts about practical reasons can be reduced to facts about evidence for ought-judgements. We argue that this view misconstrues practical conflicts. At least some conflicts between practical reasons put us in a position to know that an action ϕ is optional, i.e. that we neither ought to perform nor ought to refrain from performing the action. By understanding conflicts of practical reasons as conflicts of evidence about what one ought to do, epistemic reductionism (...) fails to account for this. In conflict cases in which ϕ-ing is optional, epistemic reductionism suggests that we have equally strong evidence for and against assuming that we ought to ϕ, and thus cannot be in a position to know that it is not the case that we ought to ϕ. This is a serious flaw. (shrink)

In 1949, the Department of Philosophy at the University of Manchester organized a symposium “Mind and Machine” with Michael Polanyi, the mathematicians Alan Turing and Max Newman, the neurologists Geoff rey Jeff erson and J. Z. Young, and others as participants. Th is event is known among Turing scholars, because it laid the seed for Turing’s famous paper on “Computing Machinery and Intelligence”, but it is scarcely documented. Here, the transcript of this event, together with Polanyi’s original statement and (...) his notes taken at a lecture by Jeff erson, are edited and commented for the fi rst time. Th e originals are in the Regenstein Library of the University of Chicago. Th e introduction highlights elements of the debate that included neurophysiology, mathematics, the mind-body-machine problem, and consciousness and shows that Turing’s approach, as documented here, does not lend itself to reductionism. (shrink)

We investigate claims about the frequency of "know" made by philosophers. Our investigation has several overlapping aims. First, we aim to show what is required to confirm or disconfirm philosophers’ claims about the comparative frequency of different uses of philosophically interesting expressions. Second, we aim to show how using linguistic corpora as tools for investigating meaning is a productive methodology, in the sense that it yields discoveries about the use of language that philosophers would have overlooked if they remained in (...) their "armchairs of an afternoon", to use J.L. Austin’s phrase. Third, we discuss facts about the meaning of "know" that so far have been ignored in philosophy, with the aim of reorienting discussions of the relevance of ordinary language for philosophical theorizing. (shrink)

I set out and explore an argument for God's existence based on the idea that the possibility of God requires the existence of God as a ground. After setting this argument out, I compare it to other arguments for God, concentrating on an argument from Descartes's Third Meditation. I then address various objections and conclude by setting out a non-theistic version of the argument.

This paper is a response to two sets of published criticisms of the 'Reasons as Evidence’ thesis concerning normative reasons, proposed and defended in earlier papers. According to this thesis, a fact is a normative reason for an agent to Φ just in case this fact is evidence that this agent ought to Φ. John Broome and John Brunero have presented a number of challenging criticisms of this thesis which focus, for the most part, on problems that it appears to (...) confront when it comes to the topic of the weighing of reasons. Our paper responds to all of the criticisms that these critics have provided, shedding fresh light on this interesting topic in the process. (shrink)

We investigated, experimentally, the contention that the folk view, or naïve theory, of time, amongst the population we investigated is dynamical. We found that amongst that population, ~ 70% have an extant theory of time that is more similar to a dynamical than a non-dynamical theory, and ~ 70% of those who deploy a naïve theory of time deploy a naïve theory that is more similar to a dynamical than a non-dynamical theory. Interestingly, while we found stable results across our (...) two experiments regarding the percentage of participants that have a dynamical or non-dynamical extant theory of time, we did not find such stability regarding which particular dynamical or non-dynamical theory of time they take to be most similar to our world. This suggests that there might be two extant theories in the population—a broadly dynamical one and a broadly non-dynamical one—but that those theories are sufficiently incomplete that participants do not stably choose the same dynamical theory as being most similar to our world. This suggests that while appeals to the ordinary view of time may do some work in the context of adjudicating disputes between dynamists and non-dynamists, they likely cannot do any such work adjudicating disputes between particular brands of dynamism. (shrink)

It has widely been assumed, by philosophers, that our first-person preferences regarding pleasurable and painful experiences exhibit a bias toward the future (positive and negative hedonic future-bias), and that our preferences regarding non-hedonic events (both positive and negative) exhibit no such bias (non-hedonic time-neutrality). Further, it has been assumed that our third-person preferences are always time-neutral. Some have attempted to use these (presumed) differential patterns of future-bias—different across kinds of events and perspectives—to argue for the irrationality of hedonic future-bias. This (...) paper experimentally tests these descriptive hypotheses. While as predicted we found first-person hedonic future-bias, we did not find that participants were time-neutral in all other conditions. Hence, the presumed asymmetry of hedonic/non-hedonic and first/third-person preferences cannot be used to argue for the irrationality of future-bias, since no such asymmetries exist. Instead, we develop a more fine-grained approach, according to which three factors—positive/negative valence, first/third-person, and hedonic/non-hedonic—each independently influence, but do not determine, whether an event is treated in a future-biased or time-neutral way. We discuss the upshots of these results for the debate over the rationality of future-bias. (shrink)

Alfred Mele’s zygote argument for incompatibilism is based on a case involving an agent in a deterministic world whose entire life is planned by someone else. Mele’s contention is that Ernie (the agent) is unfree and that normal determined agents are relevantly similar to him with regards to free will. In this paper, I examine four different ways of understanding this argument and then criticize each interpretation. I then extend my criticism to manipulation arguments in general. I conclude that the (...) zygote argument is no threat to compatibilism. (shrink)

I argue that no one knows whether there is free will.

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of a (...) trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (shrink)

Martin Luther affirms his theological position by saying “Here I stand. I can do no other.” Supposing that Luther’s claim is true, he lacks alternative possibilities at the moment of choice. Even so, many libertarians have the intuition that he is morally responsible for his action. One way to make sense of this intuition is to assert that Luther’s action is indirectly free, because his action inherits its freedom and moral responsibility from earlier actions when he had alternative possibilities and (...) those earlier directly free actions formed him into the kind of person who must refrain from recanting. Surprisingly, libertarians have not developed a full account of indirectly free actions. I provide a more developed account. First, I explain the metaphysical nature of indirectly free actions such as Luther’s. Second, I examine the kind of metaphysical and epistemic connections that must occur between past directly free actions and the indirectly free action. Third, I argue that an attractive way to understand the kind of derivative moral responsibility at issue involves affirming the existence of resultant moral luck. (shrink)

Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, different logics, and different (...) approaches to argument evaluation. Unlike most ontological approaches to arguments, ArgO utilizes Basic Formal Ontology (BFO) as an upper-level ontology, and may be used alongside other commonly used ontologies in the BFO framework, including boththe Information Artifact Ontology (IAO), and the Information Entity Ontology (INFO). Critically, our proposal is principled, based on rigorous definitions and formal axioms out of which characterizations of arguments naturally fall. It is our hope that ArgO may assist researchers in many projects, including: integrating heterogeneous sources of evidence, structuring the content of semantic wikis, and enhancing semantic reasoning. (shrink)

We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO Foundry ontology that (...) provides a set of general classes that can be used to describe general aspects of medical science. ND is being built with classes utilizing both textual and axiomatized definitions that describe and formalize the relations between instances of other classes within the ontology itself as well as to external ontologies such as the Gene Ontology, Cell Ontology, Protein Ontology, and Chemical Entities of Biological Interest. In addition, references to similar or associated terms in external ontologies, vocabularies and terminologies are included when possible. Initial work on ND is focused on the areas of Alzheimer’s and other diseases associated with dementia, multiple sclerosis, and stroke and cerebrovascular disease. Extensions to additional groups of neurological diseases are planned. The second ontology, the Neuro-Psychological Testing Ontology (NPT), is intended to provide a set of classes for the annotation of neuropsychological testing data. The intention of this ontology is to allow for the integration of results from a variety of neuropsychological tests that assay similar measures of cognitive functioning. Neuro-psychological testing is an important component in developing the clinical picture used in the diagnosis of patients with a range of neurological diseases, such as Alzheimer’s disease and multiple sclerosis, and following stroke or traumatic brain injury. NPT is being developed as an extension to the Ontology for Biomedical Investigations. (shrink)

This paper shows how the availability heuristic can be used to justify inference to the best explanation in such a way that van Fraassen's infamous "best of a bad lot" objection can be adroitly avoided. With this end in mind, a dynamic and contextual version of the erotetic model of explanation sufficient to ground this response is presented and defended.

I critically analyze Kevin Elliott’s A Tapestry of Values in order to tease out his views on the nature and status of values or value judgments in the text. I show there is a tension in Elliott’s view that is closely connected to a major lacuna in the philosophical literature on values in science: the need for a better theory of values.

Vaccine research, as well as the development, testing, clinical trials, and commercial uses of vaccines involve complex processes with various biological data that include gene and protein expression, analysis of molecular and cellular interactions, study of tissue and whole body responses, and extensive epidemiological modeling. Although many data resources are available to meet different aspects of vaccine needs, it remains a challenge how we are to standardize vaccine annotation, integrate data about varied vaccine types and resources, and support advanced vaccine (...) data analysis and inference. To address these problems, the community-based Vaccine Ontology (VO) has been developed through collaboration with vaccine researchers and many national and international centers and programs, including the National Center for Biomedical Ontology (NCBO), the Infectious Disease Ontology (IDO) Initiative, and the Ontology for Biomedical Investigations (OBI). VO utilizes the Basic Formal Ontology (BFO) as the top ontology and the Relation Ontology (RO) for definition of term relationships. VO is represented in the Web Ontology Language (OWL) and edited using the Protégé-OWL. Currently VO contains more than 2000 terms and relationships. VO emphasizes on classification of vaccines and vaccine components, vaccine quality and phenotypes, and host immune response to vaccines. These reflect different aspects of vaccine composition and biology and can thus be used to model individual vaccines. More than 200 licensed vaccines and many vaccine candidates in research or clinical trials have been modeled in VO. VO is being used for vaccine literature mining through collaboration with the National Center for Integrative Biomedical Informatics (NCIBI). Multiple VO applications will be presented. (shrink)

We suggest that the emerging field of the conservation humanities can play a valuable role in biodiversity protection in Papua New Guinea (PNG), where most land remains under collective customary clan ownership. As a first step to mobilising this scholarly field in PNG and to support capacity development for PNG humanities academics, we conducted a landscape review of PNG humanities teaching and research relating to biodiversity conservation and customary land rights. We conducted a systematic literature review, a PNG teaching programme (...) review, and a series of online workshops between the authors (10 PNG-based, 7 UK-based). We found a small but notable amount of PNG research and teaching focused on biodiversity conservation or customary land rights. This included explicit discussion of these topics in 8 of 156 PNG-authored humanities texts published 2010-2020 and related teaching content in the curricula of several different humanities-based programmes. We discuss current barriers to PNG academic development. The growth of fully fledged in-country conservation humanities will require a joint collaborative effort by PNG researchers, who are best placed to carry out such work, and researchers from abroad who can access resources to support the process. (shrink)

Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.

Identification of non-coding RNAs (ncRNAs) has been significantly enhanced due to the rapid advancement in sequencing technologies. On the other hand, semantic annotation of ncRNA data lag behind their identification, and there is a great need to effectively integrate discovery from relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a precisely defined ncRNA controlled vocabulary, which can fill a specific and highly needed niche in unification of ncRNA biology.